COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	
C00009 ENDMK
C⊗;


.BEGIN VERBATIM

					October 29,1973



Dr. Z. Motteler
Mathematics Dept.
Michigan Technological University
Houghton, Michigan


Dear Dr. Motteler
.END

I am responding to your advertisement in the October CACM.  This letter
is to express my interest in the position and to outline my background
and my desires and requirements in seeking the position.  If mutual ground
exists we could correspond further.

First, I am a Michigan Tech alumnus, graduating in 1959 with a B.S. in 
Mathematics.  I worked as a scientific programmer for the Burroughs Corporation
in 1960.  Then I obtained a Master's degree in Mathematics from the University
of California at Santa Barbara in 1961-1963.  During this time I taught 
Mathematics as a Research Assistant and during the summers was assistant to the
Director of the NSF summer school for high school teachers at Santa Barbara.

During 1963-1965 I was a Mathematical and Systems programmer at the General
Motors Research Labs in Santa Barbara.  I implemented LISP for the IBM 7040
and developed and maintained local modifications to the IBM operating system
and language processors.

I came to the Stanford Artificial Intelligence Labs in 1965 where 
our group, headed by John McCarthy,  developed a 
display-based time sharing system for the PDP-1;
this work was published in the Spring/Fall Joint Computer
Conference. I later implemented a Culler-Fried
system for the machine.  The project then got a PDP-6 and I was systems programmer
, maintaining the monitor and the LISP system. I was married that year and we now
have two children.

In 1966-1968 I was a graduate student in Computer Science at Stanford.  My program
had a strong theoretical orientation, concentrating on 
logic and foundations of mathematics and on theorem-proving
with Dr. D. C. Luckham.  We developed an interactive theorem-proving system
which we reported at the Machine Intelligence Conference in 1969 at Edinburgh, Scotland.
A good part of my thesis was written during this time, but has never been completed.

In 1969 I became systems programmer at the Institute for Math. Studies in Social Sciences
at Stanford developing  a system for the PDP-10 and exploring applications of theorem-proving
techinques in Computer-aided Instruction.

In 1970-1972 I was Assistant Professor of Computer Science at UCLA. In the two years
I was active in theorem-proving research, developed four courses: LISP and data
structures, compiler construction, semantics of programming languages and
a seminar on extensible programming languages.
I also taught an introductory hardware class.
I was on the Phd. committe of three graduate students and was a member of the
faculty committee studying course revision.

In 1972 I returned to the Artificial Intelligence Labs to continue research
on theorem-proving, automatic programming and program verification.
My interest also continues in programming languages, systems and
artificial intelligence.  I am currently
teaching a graduate reading and research course based on an extension of the 
UCLA courses. I am enclosing a partial outline of the research course.
These notes will either be published as a book or as a 
Stanford memo. A series of memos dealing with our research are also to appear
soon.

I enjoy teaching and an convinced that my approach to Computer Science through
reasonably formal models is very beneficial.  I thus desire a position
where I can continue to build a solid core of courses.

I also feel it is necessary to have interactive access to reasonably powerful
machines for effective teaching and for much of my current research.

So the following information would be of interest to me.  What flexibility
in teaching would I enjoy. What computing facilities are available.  What
is the orientation of the department - hardware, systems, or applications. What
permanence is attached to the position and what salary is foreseen.

I look forward to hearing from you.  Please say hello to Drs. Beyers and Ortner
if they are still on campus.

.begin verbatim

					Sincerely yours,


					John R. Allen
					Research Associate
					Computer Science Dept
					Stanford University
					Artificial Intelligence Labs
					Stanford, Cal
.end